Can we have simpler solutions?

Sampling and Soundness: Can We Have Both?

Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to iteratively restrict the search space, and to randomly choose which part to consider. The expected value of this sampled count is equal to the real count. If one minimizes over several trials, and purposefully underestim...

Can we have it both ways?

What we have accomplished and what we can achieve.

We can deplete it, we have the technology

We can deplete it, we have the technology ore can be more, based on two comprehensive RNAi studies of motors and actin-regulating proteins in fly S2 cells—a particularly robust system for RNAi techniques and a convenient cell type for cytological studies. The first of the two papers, by Goshima and Vale (page 1003), examines the role of every fly kinesin during mitosis—the first such study done...

Trustworthy Software: Why we need it, Why we don't have it, How we can get it

We have become increasingly dependent on a national technological fabric that contains software, computers, and communication networks as essential components. Unfortunately, our ability to build affordable software systems for which there exists compelling evidence that the systems delivers their services in a manner that satisfies certain critical properties has not kept pace with the importa...